" Annette Bunker" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

7.03 Mb

#2

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Категория: Computing & information technology

2.97 Mb

#3

Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Категория: Cs_Computer science, CsLn_Lecture notes

4.64 Mb